A Plethysm Formula for $p_\mu(\underline{x}) \circ h_\lambda(\underline{x})$
نویسندگان
چکیده
منابع مشابه
A Note on Plethysm
For a positive integer k let k denote {1, ... , k}, and let §k denote the symmetric group on k. For positive integers m and n let Im.n be the set of all dissections of mn into sets of cardinality m. §mn acts primitively on Im.n in a natural way, and the stabilizer of a point in this representation is the wreath product §m w§n. Denote llm.n I by r:xm.n; r:xm.n is equal to the index of §m w§n in ...
متن کاملCIRC Prover
CIRC is an automated circular coinductive prover that is implemented as an extension of Maude. CIRC implements the circularity principle, which generalizes circular coinductive deduction [4] and can be expressed in plain English as follows. Assume that each equation of interest (to be proved) e admits a frozen form fr(e) and a set of derived equations, its derivatives, Der(e). The circularity p...
متن کاملCIRC : A Circular Coinductive Prover
CIRC is an automated circular coinductive prover implemented as an extension of Maude. The circular coinductive technique that forms the core of CIRC is discussed, together with a high-level implementation using metalevel capabilities of rewriting logic. To reflect the strength of CIRC in automatically proving behavioral properties, an example defining and proving properties about infinite stre...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Electronic Journal of Combinatorics
سال: 1997
ISSN: 1077-8926
DOI: 10.37236/1299